Congruence Distributivity Implies Bounded Width
نویسندگان
چکیده
منابع مشابه
Congruence Distributivity Implies Bounded Width
We show that a constraint language with compatible Jónnson terms (i.e. associated with an algebra generating a congruence distributive variety) defines a Constraint Satisfaction Problem solvable by the local consistency checking algorithm.
متن کاملCongruence ABC implies ABC
The ABC conjecture of Masser and Oesterlé states that if (a, b, c) are coprime integers with a+ b+ c = 0, then sup(|a|, |b|, |c|) < cǫ(rad(abc)) 1+ǫ for any ǫ > 0. In [2], Oesterlé observes that if the ABC conjecture holds for all (a, b, c) with 16|abc, then the full ABC conjecture holds. We extend that result to show that, for every integer N , the “congruence ABC conjecture” that ABC holds fo...
متن کاملFew subpowers, congruence distributivity and near-unanimity terms
We prove that for any variety V, the existence of an edge-term (defined in [1]) and Jónsson terms is equivalent to the existence of a near-unanimity term. We also characterize the idempotent Maltsev conditions which are defined by a system of linear absorption equations and which imply congruence distributivity.
متن کاملBounded relational width
We prove that CSP(A) for an idempotent algebra A has bounded relational width if and only if var(A) omits the unary and affine types. If it has bounded relational width it has relational width at most 3. The problem, given a relational structure A, decide if CSP(A) has bounded relational width (equivalently, if the variety generated by the corresponding algebra omits the Boolean and affine type...
متن کاملBounded Variation Implies Regulated: A Constructive Proof
It is shown constructively that a strongly extensional function of bounded variation on an interval is regulated, in a sequential sense that is classically equivalent to the usual one. This paper continues the constructive study of monotone functions and functions of bounded variation, begun in [3] and [4] (see also [5]). It can be read by anyone who appreciates the distinction between classica...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: SIAM Journal on Computing
سال: 2010
ISSN: 0097-5397,1095-7111
DOI: 10.1137/080743238